Skip to content

Comments

fix: partial index#202

Merged
tianzhou merged 2 commits intomainfrom
partial_index
Dec 18, 2025
Merged

fix: partial index#202
tianzhou merged 2 commits intomainfrom
partial_index

Conversation

@tianzhou
Copy link
Contributor

Fix #200

Copilot AI review requested due to automatic review settings December 17, 2025 16:33
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot encountered an error and was unable to review this pull request. You can try again by re-requesting a review.

Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Copilot reviewed 19 out of 19 changed files in this pull request and generated no new comments.


💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@tianzhou tianzhou force-pushed the partial_index branch 2 times, most recently from 1e70f72 to 3686d62 Compare December 18, 2025 05:14
@tianzhou tianzhou merged commit 23a04f7 into main Dec 18, 2025
2 checks passed
@tianzhou tianzhou deleted the partial_index branch December 18, 2025 07:24
alecthomas pushed a commit to alecthomas/pgschema that referenced this pull request Jan 26, 2026
* fix: partial index

* chore: fix test case
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Partial unique index always seen as modified

1 participant